Trong toán học, một bất đẳng thức (tiếng Anh:Inequality) là một phát biểu về quan hệ thứ tự giữa hai đối tượng. (Xem thêm: đẳng thức)Những quan hệ nói trên được gọi là bất đẳng thức nghiêm ngặt; ngoài ra ta còn cóNgười ta còn dùng một ký hiệu khác để chỉ ra rằng một đại lượng lớn hơn rất nhiều so với một đại lượng khác.Các ký hiệu a, b ở hai vế của một bất đẳng thức có thể là các biểu thức của các biến. Sau đây ta chỉ xét các bất đẳng thức với các biến nhận giá trị trên tập số thực hoặc các tập con của nó.Nếu một bất đẳng thức đúng với mọi giá trị của tất cả các biến có mặt trong bất đẳng thức, thì bất đẳng thức này được gọi là bất đẳng thức tuyệt đối hay không điều kiện. Nếu một bất đẳng thức chỉ đúng với một số giá trị nào đó của các biến, với các giá trị khác thì nó bị đổi chiều hay không còn đúng nữa thì nó được goị là một bất đẳng thức có điều kiện. Một bất đẳng thức đúng vẫn còn đúng nếu cả hai vế của nó được thêm vào hoặc bớt đi cùng một giá trị, hay nếu cả hai vế của nó được nhân hay chia với cùng một số dương. Một bất đẳng thức sẽ bị đảo chiều nếu cả hai vế của nó được nhân hay chia bởi một số âm.Hai bài toán thường gặp trên các bất đẳng thức là